Cryptographic software

Results: 2705



#Item
131Software / System software / Computing / Cryptographic software / Network management / Zabbix / OpenBSD

Puffy Suits Up OpenBSD in the corporate environment Jasper Lievisse Adriaanse Engineering team, m:tier Latinoware 2013, Foz do Iguaçu

Add to Reading List

Source URL: www.mtier.org

Language: English - Date: 2013-10-18 16:03:19
132Secure communication / Cryptographic software / Internet security / Tor / Internet protocols / The Tor Project /  Inc / Flash proxy / The Guardian Project / Firefox / HTTPS

Monthly Progress report for April 2012 The Tor Project, Inc. Contents 1 Research 1.1 Anonymous Communications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Add to Reading List

Source URL: archive.torproject.org

Language: English - Date: 2012-05-11 15:32:41
133Computing / Cryptography / Internet / Cryptographic protocols / Internet protocols / Cryptographic software / Secure communication / Transport Layer Security / OpenSSL / Comparison of TLS implementations / Cipher suite / WolfSSL

1 A Messy State of the Union: Taming the Composite State Machines of TLS Benjamin Beurdouche∗ , Karthikeyan Bhargavan∗ , Antoine Delignat-Lavaud∗ , Cedric Fournet† , Markulf Kohlweiss† , Alfredo Pironti∗ , P

Add to Reading List

Source URL: smacktls.com

Language: English - Date: 2015-03-05 00:10:02
134Software / Computing / System software / IPsec / Computer network security / Virtual private networks / Cryptographic software / Key management / StrongSwan / Internet Key Exchange / NetworkManager / Maemo

The Open Source VPN Solution for Mobile Platforms  Fully Integrated NetworkManager Applets for the Gnome and KDE 4 Plasma Linux Desktops.  strongSwan Applets for Android and Nokia Maemo.

Add to Reading List

Source URL: www.strongswan.org

Language: English - Date: 2010-06-11 08:23:07
135IPsec / Cryptographic protocols / Virtual private networks / Computer network security / Cryptographic software / StrongSwan / Internet Key Exchange / FreeS/WAN / Security association / Openswan

strongSwan VPNs scalable and modularized! Andreas Steffen Copyright © 2008 by Andreas Steffen

Add to Reading List

Source URL: www.strongswan.org

Language: English - Date: 2008-05-05 12:09:19
136Cryptographic software / OpenSSL / Patent / Software / License / United States patent law / Computing

Patent Licen se for OpenSSL 1. Definition s 1.1 " Licensor" means Phillip Rogaway. orOne Shields Avenue, Davis, CA " Licensed Patents" means any patent that claims priority to United States Patent Applica

Add to Reading List

Source URL: openssl.org

Language: English - Date: 2015-08-15 21:28:41
137Software engineering / Programming language theory / Theoretical computer science / C++ / Logic in computer science / Proof assistants / Data types / SHA-2 / Formal verification / Separation logic / Coq / Functional programming

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2014-12-23 10:16:22
138Tor / Cryptographic software / Internet security / Dark web / The Tor Project /  Inc / Orbot / OpenSSL / Facebook

From: Andrew Lewman, Executive Director To: The Tor Community Date: February 12, 2012 This report documents progress in January 2012.

Add to Reading List

Source URL: archive.torproject.org

Language: English - Date: 2012-02-12 07:28:04
139Public-key cryptography / Cryptographic software / Secure communication / E-commerce / Transport Layer Security / OpenSSL / RSA / Blinding / Mbed TLS / Cipher suite / Forward secrecy / Digital signature

Factoring RSA Keys With TLS Perfect Forward Secrecy Florian Weimer Red Hat Product Security SeptemberAbstract

Add to Reading List

Source URL: people.redhat.com

Language: English - Date: 2015-09-02 09:27:18
140Computing / Cryptography / Network architecture / IPsec / Cryptographic protocols / Computer network security / Virtual private networks / Cryptographic software / StrongSwan / Internet Key Exchange / Opportunistic encryption / NAT traversal

Advanced Features of Linux strongSwan the OpenSource VPN Solution Institute of Internet Technologies and Applications Hochschule für Technik Rapperswil, Schweiz The powerful advanced features of the Linux strongSwan VPN

Add to Reading List

Source URL: www.strongswan.org

Language: English - Date: 2006-04-27 10:23:08
UPDATE